Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·7h
🎼Computational Musicology
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·19h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Building Readable AI Agents: From Spaghetti Code to Human-Friendly Logic
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Finding Order-Preserving Subgraphs
arxiv.org·7h
🕸️Graph Algorithms
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
A distributed systems reliability glossary
antithesis.com·20h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·7h
⟷Bidirectional Programming
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·3h·
Discuss: Hacker News
🌀Brotli Internals
Hierarchical Modeling (H-Nets)
cartesia.ai·15h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Porting a Cross-Disciplinary Text Mining Course Online Using Innovative Engagement Techniques
hackernoon.com·20h
🤖Grammar Induction
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·17h
🧮Kolmogorov Bounds
Billions of Edges per Second with Postgres
onesparse.com·16h·
Discuss: Hacker News
🗜️Graph Compression
Cancellative Convex Semilattices
arxiv.org·7h
🔲Proof Irrelevance
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·13h·
Discuss: Hacker News
🎯Interactive Provers
Bibliographical cornucopia for linguists, part 1
languagelog.ldc.upenn.edu·1d
📼Cassette Linguistics
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·7h
🌳Context free grammars